1. Computer-aided reasoning
پدیدآورنده: / edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer-aided design,Expert systems (Computer science)
رده :
QA
76
.
76
.
E95C665
2000
2. Computer-aided reasoning
پدیدآورنده: / edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer-aided design,Expert systems (Computer science)
رده :
QA
76
.
76
.
E95C665
2000
3. Computer-aided reasoning :
پدیدآورنده: edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-aided design.,Expert systems (Computer science)
رده :
QA76
.
76
.
E95
E358
2011
4. Computer-aided reasoning: an approach
پدیدآورنده: Kaufmann, Matt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal methods )Computer science(,، Sotware engineering,، Expert systems )Computer science(
رده :
QA
76
.
9
.
F67
.
K38
2000
5. Interactive Theorem Proving
پدیدآورنده: Matt Kaufmann, Lawrence C. Paulson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
6. Interactive Theorem Proving
پدیدآورنده: / Matt Kaufmann, Lawrence C. Paulson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
